Combining SETL/E with Linda∗

SETL/E is a procedural prototyping language based on the theory of finite sets. The coordination language Linda provides a distributed shared memory model, called tuple space, together with some atomic operations on this shared data space. Process communication and synchronization in Linda is also called generative communication, because tuples are added to, removed from and read from tuple space concurrently. Synchronization is done implicitly. In this paper a proposal will be presented for enhancing the basic Linda model with multiple tuple spaces, additional nondeterminism and the facility for changing tuples in tuple space to combine set-oriented programming with generative communication: SETL/E-Linda.